(d/dx (2x * 2^x))-(2^(x+1)(1+xlog2))=